首页> 外文OA文献 >Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities

【2h】

Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities

机译：运行时执行监视器：组合，综合和执行功能

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Falcone, Yliès; Mounier, Laurent; Fernandez, Jean-Claude; Richier, Jean-Luc;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Runtime enforcement monitors: composition, synthesis,and enforcement abilities [J] . Ylies Falcone, Laurent Mounier, Jean-Claude Fernandez, Formal Methods in System Design . 2011,第3期

机译：运行时强制监控器：组成，综合和强制执行能力
2. Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems [J] . Carlos Moreno, Sebastian Fischmeister Formal Methods in System Design . 2018,第1期

机译：通过功耗进行非侵入式运行时监控，以增强嵌入式系统的安全性
3. Which security policies are enforceable by runtime monitors? A survey [J] . Raphael Khoury, Nadia Tatubi Computer science review . 2012,第1期

机译：运行时监视器可以强制实施哪些安全策略？一项调查
4. Compositional Runtime Enforcement [C] . Srinivas Pinisetty, Stavros Tripakis International symposium on NASA formal methods . 2016

机译：组合运行时执行
5. Runtime Enforcement of Memory Safety for the C Programming Language [D] . Simpson, Matthew Stephen 2011

机译：C编程语言的内存安全性的运行时增强
6. Body composition and physiological characteristics of law enforcement officers. [O] . D L Spitler, G Jones, J Hawkins, 1987

机译：执法人员的身体成分和生理特征。
7. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities [O] . Falcone, Yliès, Mounier, Laurent, Fernandez, Jean-Claude, 2011

机译：运行时执行监视器：组合，综合和执行能力

Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅